Portable Code for Complex Critical Systemsy

A common requirement on future safety-critical systems is to support hardware interchangeability. In this paper, work sponsored by British Aerospace Military Aircraft and Aerostructures is reported which addresses this issue. Interchangeability is motivated by the need to perform technology upgrades within a system when components become obsolete – hardware computer components are often superseded within a few years, whereas the total system may have a lifetime of decades. Hardware interchangeability, implies that software needs to be moved to a new platform and execute with minimal rework or disturbance to the rest of the system. Movement of software to a new (different) hardware platform is a difficult proposition without rework, e.g. re-compilation of the software. For safety-critical systems, the rework could also include test, analysis, verification and validation efforts, adding to the overall cost of the change. In this paper, the problem of movement of software to a new platform is considered, within the critical systems domain. The solution to the problem proposed in this paper is Portable Code (PC) whereby source code is compiled to an intermediate portable form that can then be instantiated to, or directly executed by, any platform. This solution can remove much or all of the rework costs involved in moving software to a new platform, thus substantially reducing system lifecycle costs. The contributions of this paper are twofold. Firstly, a PC suitable for critical systems is described. This is a subset of an existing PC, namely ANDF (Architecture Neutral Distribution Format). Secondly, a compilation approach suitable for PC is described. This has the benefit of being traceable, thus increasing the ability to perform static analysis at the PC level, in turn increasing the ability to move the code to a new platform without invalidating analysis and other evidence gathered for the original platform.